Model-based Testing: Next Generation Functional Software Testing

 The complexity of software applications continues to increase, and the user’s aversion to software defects is greater than ever, so our functional testing has to become more and more effective at detecting bugs;  The cost and time of testing is already a major proportion of many projects (sometimes exceeding the costs of development), so there is a strong push to investigate methods like MBT that can decrease the overall cost of test by designing tests automatically as well as executing them automatically.  The MBT approach and the associated commercial and open source tools are now mature enough to be applied in many application areas, and empirical evidence is showing that it can give a good ROI; 